Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
501	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
502	Microsoft Word - necessary Add to Reading List Source URL: www2.edc.org Language: English - Date: 2001-10-04 17:17:00 Necessity and sufficiency Technical terminology Algebraic logic Functions and mappings Boolean algebra Function Mathematics Conditionals Dichotomies
503	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
504	Type-Safe Observable Sharing in Haskell Andy Gill The University of Kansas September 3, 2009 Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2010-05-31 11:34:42 Mathematics Logic Binary arithmetic Exclusive or Propositional calculus Boolean data type Parity bit ALGOL 68 Boolean algebra Abstract algebra Computing
505	PROCEEDINGS Positivity IV - Theory and Applications Dresden (Germany), [removed]Boolean Valued Analysis and Positivity A. G. Kusraev and S. S. Kutateladze (Russia) Abstract. This is an overview of the recent results Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:07:35 Forcing Boolean algebra Algebraic structures Boolean-valued model Model theory Function Symbol Functor Universal property Mathematics Mathematical logic Mathematical analysis
506	PDF Document Add to Reading List Source URL: cs.ulb.ac.be Language: English - Date: 2008-05-12 05:05:11 Computing Programming language theory Unified Modeling Language Boolean algebra Object Constraint Language Type system Boolean data type Enumerated type EXPRESS Data types Software engineering Type theory
507	DEGREE GUIDE FOR THE COLLEGE OF ARTS AND SCIENCES B.S. MATHEMATICS - COMPUTER SCIENCE – [removed]Note: Of the 128 credits required for graduation, students must earn at least 104 within Arts and Sciences Add to Reading List Source URL: www.gonzaga.edu Language: English - Date: 2015-03-03 22:49:45 Linear algebra Logical disjunction Mathematics Propositional calculus Boolean algebra Logical connectives
508	The Satisability Constraint Gap Ian P. Gent Toby Walsh Department of AI Mechanized Reasoning Group University of Edinburgh IRST, Loc. Pante di Povo, Trento & Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:03:59 Mathematics Boolean algebra Boolean satisfiability problem Electronic design automation Local consistency Theoretical computer science Constraint programming Applied mathematics
509	Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-07-01 12:49:00 Order theory Non-standard analysis Adjoint functors Boolean algebra Ultrafilter Stone–Čech compactification Filter Monad Ultraproduct Topology Mathematics General topology
510	Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades Add to Reading List Source URL: kups.ub.uni-koeln.de Language: English - Date: 2011-03-28 06:57:24 NP-complete problems Logic in computer science Complexity classes Boolean algebra 2-satisfiability Boolean satisfiability problem Conjunctive normal form Outerplanar graph Planar graph Theoretical computer science Graph theory Computational complexity theory

UPDATE